Fix x86/64 build.
Signed-off-by: Keir Fraser <keir@xensource.com>
#include <asm/domain_page.h>
#include <asm/page.h>
#include <xen/event.h>
+#include <xen/sched.h>
#include <xen/trace.h>
/********
#include <xen/lib.h>
#include <xen/init.h>
#include <xen/mm.h>
+#include <xen/sched.h>
#include <asm/page.h>
#include <asm/flushtlb.h>
#include <asm/fixmap.h>
#include <xen/types.h>
#include <xen/lib.h>
#include <xen/perfc.h>
+#include <xen/sched.h>
#include <xen/spinlock.h>
#include <xen/slab.h>
#include <xen/irq.h>
#include <xen/config.h>
#include <xen/types.h>
#include <xen/perfc.h>
+#include <xen/sched.h>
#include <asm/processor.h>
#include <asm/domain_page.h>
+#include <public/dom0_ops.h>
/* Shadow PT flag bits in shadow_status */
#define PSH_shadowed (1<<31) /* page has a shadow. PFN points to shadow */